Semi - Probabilistic Automata

نویسنده

  • P Suguna
چکیده

Observing the environment and recoganizing patterns for the purpose of decision making are fundamental to any scientific enquiry. Pattern recognition is a scientific discipline so much so that it enables perception in machines and also it has applications in diverse technology areas. Among the scientific community, statistical pattern recognition has received considerable attention in recent years. The statistical pattern recognition challenges are mostly approached by Hidden Markov Models (HMMs). A Hidden Markov Model (HMM) is a probabilistic mathematical discrete structure with the state emission probabilities apart from consisting the components of a probabilistic finite state automaton (PFA). Over the years, researches have been carried out to study the relations between HMM and PFA. Probabilistic finite state automata are mathematical models constructed to generate distributions over a set of strings. The computation of the probability of generating a string as a total, and a string with given prefix or suffix have important applications in the field of parsing. In this attempt, the Semi Probabilistic Finite State Automata (Semi-PA), the most general class of Probabilistic Automata is discussed in detail. AMS Classification: 68Q10 and 68Q45.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Decidable Probability Logic for Timed and Untimed Probabilistic Systems

In this paper we extend the predicate logic introduced in [BRS02] in order to deal with Semi-Markov Processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to Semi-Markov Processes. Furthermore we apply our logic to Probabilistic Timed Automata considering classical and urgent semantics, and considering also predicates on...

متن کامل

A Decidable Probability Logic for Timed Probabilistic Systems

In this paper we extend the predicate logic introduced in [Beauquier et al. 2002] in order to deal with Semi-Markov Processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to SemiMarkov Processes. Furthermore we apply our logic to Probabilistic Timed Automata considering classical and urgent semantics, and considering als...

متن کامل

Parametric, Probabilistic, Timed Resource Discovery System

This paper presents a fully distributed resource discovery and reservation system. Verification of such a system is important to ensure the execution of distributed applications on a set of resources in appropriate conditions. A semi-formal model for his system is presented using probabilistic timed automata. This model is timed, parametric and probabilistic, making it a challenge to the parame...

متن کامل

A theory of stochastic systems part I: Stochastic automata

This paper presents the theoretical underpinning of a model for symbolically representing probabilistic transition systems, an extension of labelled transition systems for the modelling of general (discrete as well as continuous or singular) probability spaces. These transition systems are particularly suited for modelling softly timed systems, real-time systems in which the time constraints ar...

متن کامل

Timed Comparisons of Semi-Markov Processes

Semi-Markov processes are Markovian processes in which the firing time of the transitions is modelled by probabilistic distributions over positive reals interpreted as the probability of firing a transition at a certain moment in time. In this paper we consider the trace-based semantics of semi-Markov processes, and investigate the question of how to compare two semi-Markov processes with respe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015